function wil_download() {
    echo "wil_download entry"

    url="https://github.com/microsoft/wil/archive/5f4caba4e7a9017816e47becdd918fcc872039ba.zip"
    file="wil_5f4caba4e7a9017816e47becdd918fcc872039ba.zip"
    cd $HOME/download
    echo wget -O "${file}" "${url}"
    wget -O "${file}" "${url}"
}
